$\forall$${\it the\_es}$:ES, $j$:E, $m$:Msg. isrcv($j$) $\Rightarrow$ haslink(lnk($j$);$m$) $\in$ Type